Merge pull request #354 from adrianschmutzler/fe80master
authorMoritz Warning <[email protected]>
Wed, 2 May 2018 14:49:32 +0000 (16:49 +0200)
committerGitHub <[email protected]>
Wed, 2 May 2018 14:49:32 +0000 (16:49 +0200)
alfred: Support interface IDs with more than two digits


Trivial merge